Generics: some (non) specifics

Some Examples of Generics in Java 1.5

The forthcoming releases of Java JDK v1.5 and C# v2.0 support generic classes (classes with generic type parameters) and generic methods. Furthermore, each also supports constrained generic types. Much has been written about generic types. In " A Comparative Study of Language Support for Generic Programming " by Garcia et al details of generic types and programming in C++, Haskell, Standard ML,...

Malaria Specifics

Specifics of Imaging Practice

As the individual titles make evident, this conference reflects the use of images drawn from a composite of interests and backgrounds. And there is certainly much going on in imaging, whether it is yet another site on the Internet showing pictures, more institutions exploring how to move their visual collections into electronic form, or the crafting of new analytic and interpretative applicatio...

Generics and Reverse Generics for Pharo

Generic programming is a mechanism for re-using code by abstracting specific types used in classes and programs. In this paper, we present a mechanism for adding generic programming in dynamically typed languages, showing how programmers can benefit from generic programming. Furthermore, we enhance the expressiveness of generic programming with reverse generics, a mechanism for automatically de...

Verifying Generics and Delegates

Recently, object-oriented languages, such as C, have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order functions. In the OO world these are called generics and delegates, respectively. These features allow for greater code reuse and reduce the possibilities for runtime errors. However, the combination of these features pushes t...